Practical application of the KJ method